Search Results
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev
LambdaConf 2015 - The Next Great Functional Programming Language John A De Goes
LambdaConf 2015 - Why I Like Functional Programming Adelbert Chang
Type Theory Study Group, Special Topics on ABTs, Implementation and Theory with Jon Sterling
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
LambdaConf 2015 - Parametricity The Essence of Information Hiding Kris Nuttycombe
LambdaConf 2015 - The Abstract Method, In General Gershom Bazerman
LambdaConf 2015 - The Art of Program Derivation and Parallel Computation Gershom Bazerman
LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years Chris Allen
Jon Sterling, How to code your own type theory
LambdaConf 2015 - Finally Tagless DSLs and MTL Joseph Abrahamson
